From 1d099fbfaeba23b5839f9854c10a57989363bebd Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Mon, 12 May 2014 22:32:51 -0400
Subject: [PATCH] gtk-demo: Don't use margin-left/right

Instead, use margin-start/end, which are the non-deprecated
replacements.
---
 demos/gtk-demo/main.ui | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/demos/gtk-demo/main.ui b/demos/gtk-demo/main.ui
index 707927b041..6d8f6c016c 100644
--- a/demos/gtk-demo/main.ui
+++ b/demos/gtk-demo/main.ui
@@ -128,8 +128,8 @@
                   <object class="GtkTextView" id="info-textview">
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
-                    <property name="margin_left">20</property>
-                    <property name="margin_right">20</property>
+                    <property name="margin_start">20</property>
+                    <property name="margin_end">20</property>
                     <property name="margin_top">20</property>
                     <property name="margin_bottom">20</property>
                     <property name="pixels_above_lines">2</property>
@@ -165,9 +165,8 @@
                   <object class="GtkTextView" id="source-textview">
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
-                    <property name="margin_left">20</property>
+                    <property name="margin_start">20</property>
                     <property name="margin_end">20</property>
-                    <property name="margin_right">20</property>
                     <property name="margin_top">20</property>
                     <property name="margin_bottom">20</property>
                     <property name="editable">False</property>
-- 
2.30.2